<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>misc/syntax/ml.syntax</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<!-- beginning of fixed guide -->
<div id='guide'><ul>
<li><a href='#TOP'><img class='icon' src='../icons/first.png' alt='[^]' /></a></li>
<li><a href='#BOTTOM'><img class='icon' src='../icons/last.png' alt='[v]' /></a></li>
<li><a href='#TOP'><img class='icon' src='../icons/top.png' alt='[top]' /></a></li>
<li><a href='#BOTTOM'><img class='icon' src='../icons/bottom.png' alt='[bottom]' /></a></li>
<li><a href='../mains.html'><img class='icon' src='../icons/index.png' alt='[index]' /></a></li>
<li><a href='../help.html'><img class='icon' src='../icons/help.png' alt='[help]' /></a></li>
<li class='standout'><span><a href='../files/misc.html'>misc</a>/<a href='../files/misc--syntax.html'>syntax</a>/ml.syntax</span></li>
</ul></div>
<!-- end of fixed guide -->
<a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/misc.html'>misc</a>/<a href='../files/misc--syntax.html'>syntax</a>/ml.syntax</h2>
<em class='comment'>/* <img class='icon' src='../icons/n_left.png' alt='[previous]' /><img class='icon' src='../icons/n_right.png' alt='[next]' /><img class='icon' src='../icons/n_first.png' alt='[first]' /><img class='icon' src='../icons/n_last.png' alt='[last]' /><img class='icon' src='../icons/n_top.png' alt='[top]' /><a href='#BOTTOM'><img class='icon' src='../icons/bottom.png' alt='[bottom]' /></a><a href='../mains.html'><img class='icon' src='../icons/index.png' alt='[index]' /></a><a href='../help.html'><img class='icon' src='../icons/help.png' alt='[help]' /></a>&nbsp;<input type='text' readonly onfocus='this.select();' value='+1 misc/syntax/ml.syntax'  /> */</em>
<hr />
<pre>
<a id='L1' name='L1'></a>##################################################################################
<a id='L2' name='L2'></a># ML (CamlLight) syntax hilighting by Carlos Rodrigues &lt;a9566@lei.di.fct.unl.pt&gt; #
<a id='L3' name='L3'></a>##################################################################################
<a id='L4' name='L4'></a> 
<a id='L5' name='L5'></a>context default
<a id='L6' name='L6'></a>    keyword whole and yellow
<a id='L7' name='L7'></a>    keyword whole as yellow
<a id='L8' name='L8'></a>    keyword whole begin yellow
<a id='L9' name='L9'></a>    keyword whole do yellow
<a id='L10' name='L10'></a>    keyword whole done yellow
<a id='L11' name='L11'></a>    keyword whole downto yellow
<a id='L12' name='L12'></a>    keyword whole else yellow
<a id='L13' name='L13'></a>    keyword whole end yellow
<a id='L14' name='L14'></a>    keyword whole exception yellow
<a id='L15' name='L15'></a>    keyword whole for yellow
<a id='L16' name='L16'></a>    keyword whole fun yellow
<a id='L17' name='L17'></a>    keyword whole function yellow
<a id='L18' name='L18'></a>    keyword whole if yellow
<a id='L19' name='L19'></a>    keyword whole in yellow
<a id='L20' name='L20'></a>    keyword whole let yellow
<a id='L21' name='L21'></a>    keyword whole match yellow
<a id='L22' name='L22'></a>    keyword whole mutable yellow
<a id='L23' name='L23'></a>    keyword whole not yellow
<a id='L24' name='L24'></a>    keyword whole of yellow
<a id='L25' name='L25'></a>    keyword whole or yellow
<a id='L26' name='L26'></a>    keyword whole prefix yellow
<a id='L27' name='L27'></a>    keyword whole rec yellow
<a id='L28' name='L28'></a>    keyword whole then yellow
<a id='L29' name='L29'></a>    keyword whole to yellow
<a id='L30' name='L30'></a>    keyword whole try yellow
<a id='L31' name='L31'></a>    keyword whole type yellow
<a id='L32' name='L32'></a>    keyword whole value yellow
<a id='L33' name='L33'></a>    keyword whole where yellow
<a id='L34' name='L34'></a>    keyword whole while yellow
<a id='L35' name='L35'></a>    keyword whole mod yellow
<a id='L36' name='L36'></a>    keyword whole with yellow
<a id='L37' name='L37'></a>    keyword whole true yellow
<a id='L38' name='L38'></a>    keyword whole false yellow
<a id='L39' name='L39'></a> 
<a id='L40' name='L40'></a>    keyword (\* brown
<a id='L41' name='L41'></a>    keyword \*) brown
<a id='L42' name='L42'></a> 
<a id='L43' name='L43'></a>    keyword `\s` brightcyan
<a id='L44' name='L44'></a>    keyword `+` brightcyan
<a id='L45' name='L45'></a>    keyword &gt; cyan
<a id='L46' name='L46'></a>    keyword &lt;&gt; cyan
<a id='L47' name='L47'></a>    keyword &lt; cyan
<a id='L48' name='L48'></a>    keyword . cyan
<a id='L49' name='L49'></a>    keyword -&gt; brightgreen
<a id='L50' name='L50'></a>    keyword &lt;- cyan
<a id='L51' name='L51'></a>    keyword \+ cyan
<a id='L52' name='L52'></a>    keyword - cyan
<a id='L53' name='L53'></a>    keyword \* cyan
<a id='L54' name='L54'></a>    keyword / cyan
<a id='L55' name='L55'></a>    keyword % cyan
<a id='L56' name='L56'></a>    keyword = cyan
<a id='L57' name='L57'></a>    keyword | cyan
<a id='L58' name='L58'></a>    keyword # cyan
<a id='L59' name='L59'></a>    keyword @ cyan
<a id='L60' name='L60'></a>    keyword ^ cyan
<a id='L61' name='L61'></a>    keyword { cyan
<a id='L62' name='L62'></a>    keyword } cyan
<a id='L63' name='L63'></a>    keyword ( cyan
<a id='L64' name='L64'></a>    keyword ) cyan
<a id='L65' name='L65'></a>    keyword [ cyan
<a id='L66' name='L66'></a>    keyword ] cyan
<a id='L67' name='L67'></a>    keyword , cyan
<a id='L68' name='L68'></a>    keyword : cyan
<a id='L69' name='L69'></a>    keyword &amp; cyan
<a id='L70' name='L70'></a> 
<a id='L71' name='L71'></a>    keyword wholeright ;; brightred
<a id='L72' name='L72'></a>    keyword wholeright ; brightred
<a id='L73' name='L73'></a> 
<a id='L74' name='L74'></a>    keyword ; cyan
<a id='L75' name='L75'></a> 
<a id='L76' name='L76'></a>context exclusive (\* \*) brown
<a id='L77' name='L77'></a> 
<a id='L78' name='L78'></a>    keyword \\\n yellow
<a id='L79' name='L79'></a>    keyword "+" brown
<a id='L80' name='L80'></a>    keyword &lt;+&gt; brown
<a id='L81' name='L81'></a> 
<a id='L82' name='L82'></a>context " " brightcyan
<a id='L83' name='L83'></a>    keyword \\" brightmagenta
<a id='L84' name='L84'></a>    keyword \\n brightmagenta
<a id='L85' name='L85'></a>    keyword %% brightmagenta
<a id='L86' name='L86'></a>    keyword %\[#0\s-\+,\]\[0123456789\]\[.\]\[0123456789\]\[L\]\{eEfgGoxX\} brightmagenta
<a id='L87' name='L87'></a>    keyword %\[0\s-\+,\]\[0123456789\]\[.\]\[0123456789\]\[hl\]\{diuxX\} brightmagenta
<a id='L88' name='L88'></a>    keyword %\[hl\]n brightmagenta
<a id='L89' name='L89'></a>    keyword %\[.\]\[0123456789\]s brightmagenta
<a id='L90' name='L90'></a>    keyword %[*] brightmagenta
<a id='L91' name='L91'></a>    keyword %c brightmagenta
<a id='L92' name='L92'></a>    keyword \\\{0123\}\{01234567\}\{01234567\} brightmagenta
<a id='L93' name='L93'></a>    keyword \\\\ brightmagenta
<a id='L94' name='L94'></a>    keyword \\' brightmagenta
<a id='L95' name='L95'></a>    keyword \\\{abtnvfr\} brightmagenta
</pre>
<hr />
<a id='BOTTOM' name='BOTTOM'></a>
<em class='comment'>/* <img class='icon' src='../icons/n_left.png' alt='[previous]' /><img class='icon' src='../icons/n_right.png' alt='[next]' /><img class='icon' src='../icons/n_first.png' alt='[first]' /><img class='icon' src='../icons/n_last.png' alt='[last]' /><a href='#TOP'><img class='icon' src='../icons/top.png' alt='[top]' /></a><img class='icon' src='../icons/n_bottom.png' alt='[bottom]' /><a href='../mains.html'><img class='icon' src='../icons/index.png' alt='[index]' /></a><a href='../help.html'><img class='icon' src='../icons/help.png' alt='[help]' /></a>&nbsp;<input type='text' readonly onfocus='this.select();' value='+95 misc/syntax/ml.syntax'  /> */</em>
</body>
</html>
